| 1: | a__a | → a__c | |
| 2: | a__b | → a__c | |
| 3: | a__c | → e | |
| 4: | a__k | → l | |
| 5: | a__d | → m | |
| 6: | a__a | → a__d | |
| 7: | a__b | → a__d | |
| 8: | a__c | → l | |
| 9: | a__k | → m | |
| 10: | a__A | → a__h(a__f(a__a),a__f(a__b)) | |
| 11: | a__h(X,X) | → a__g(mark(X),mark(X),a__f(a__k)) | |
| 12: | a__g(d,X,X) | → a__A | |
| 13: | a__f(X) | → a__z(mark(X),X) | |
| 14: | a__z(e,X) | → mark(X) | |
| 15: | mark(A) | → a__A | |
| 16: | mark(a) | → a__a | |
| 17: | mark(b) | → a__b | |
| 18: | mark(c) | → a__c | |
| 19: | mark(d) | → a__d | |
| 20: | mark(k) | → a__k | |
| 21: | mark(z(X1,X2)) | → a__z(mark(X1),X2) | |
| 22: | mark(f(X)) | → a__f(mark(X)) | |
| 23: | mark(h(X1,X2)) | → a__h(mark(X1),mark(X2)) | |
| 24: | mark(g(X1,X2,X3)) | → a__g(mark(X1),mark(X2),mark(X3)) | |
| 25: | mark(e) | → e | |
| 26: | mark(l) | → l | |
| 27: | mark(m) | → m | |
| 28: | a__A | → A | |
| 29: | a__a | → a | |
| 30: | a__b | → b | |
| 31: | a__c | → c | |
| 32: | a__d | → d | |
| 33: | a__k | → k | |
| 34: | a__z(X1,X2) | → z(X1,X2) | |
| 35: | a__f(X) | → f(X) | |
| 36: | a__h(X1,X2) | → h(X1,X2) | |
| 37: | a__g(X1,X2,X3) | → g(X1,X2,X3) | |
| 38: | A__A | → A__C | |
| 39: | A__B | → A__C | |
| 40: | A__A | → A__D | |
| 41: | A__B | → A__D | |
| 42: | A__A | → A__H(a__f(a__a),a__f(a__b)) | |
| 43: | A__A | → A__F(a__a) | |
| 44: | A__A | → A__A | |
| 45: | A__A | → A__F(a__b) | |
| 46: | A__A | → A__B | |
| 47: | A__H(X,X) | → A__G(mark(X),mark(X),a__f(a__k)) | |
| 48: | A__H(X,X) | → MARK(X) | |
| 49: | A__H(X,X) | → A__F(a__k) | |
| 50: | A__H(X,X) | → A__K | |
| 51: | A__G(d,X,X) | → A__A | |
| 52: | A__F(X) | → A__Z(mark(X),X) | |
| 53: | A__F(X) | → MARK(X) | |
| 54: | A__Z(e,X) | → MARK(X) | |
| 55: | MARK(A) | → A__A | |
| 56: | MARK(a) | → A__A | |
| 57: | MARK(b) | → A__B | |
| 58: | MARK(c) | → A__C | |
| 59: | MARK(d) | → A__D | |
| 60: | MARK(k) | → A__K | |
| 61: | MARK(z(X1,X2)) | → A__Z(mark(X1),X2) | |
| 62: | MARK(z(X1,X2)) | → MARK(X1) | |
| 63: | MARK(f(X)) | → A__F(mark(X)) | |
| 64: | MARK(f(X)) | → MARK(X) | |
| 65: | MARK(h(X1,X2)) | → A__H(mark(X1),mark(X2)) | |
| 66: | MARK(h(X1,X2)) | → MARK(X1) | |
| 67: | MARK(h(X1,X2)) | → MARK(X2) | |
| 68: | MARK(g(X1,X2,X3)) | → A__G(mark(X1),mark(X2),mark(X3)) | |
| 69: | MARK(g(X1,X2,X3)) | → MARK(X1) | |
| 70: | MARK(g(X1,X2,X3)) | → MARK(X2) | |
| 71: | MARK(g(X1,X2,X3)) | → MARK(X3) | |